退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:嵌入式系统形式化和非正式设计的双向路径
Chen, Mingshuai; Ravn, Anders Peter; Wang, Shuling; Yang, Mengfei; Zhan, Naijun;
机译:利用形式化技术设计和优化多时钟嵌入式系统
机译:嵌入式情报研究系统的形式化设计语言
机译:嵌入式和混合系统的正式设计
机译:嵌入式系统的正式设计与非正式设计之间的双向路径
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:设计的自然空间:非正式花园比正式花园更具修复性
机译:画布LMS系统在课程设计中的高级可能性以及评估非正式,非正规和非正规教育的使用
机译:用于实施源自非正式要求的正式规范的系统,方法和设备
机译:用于支持计算机上非正式推理的正式验证的系统,装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。